A Calculus
نویسندگان
چکیده
منابع مشابه
From a Concurrent - calculus to the - calculus ?
We explore the (dynamic) semantics of a simply typed-calculus enriched with parallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the k-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of pro...
متن کاملDag-Calculus: A Calculus for Parallel Computation
This appendix consists of two main parts: in the first, we prove correct the translations of parallel primitives into the dag calculus, in the second, we prove that the scheduling algorithm implements the rules of the dag calculus. Concretely, Appendix A provides auxiliary definitions and properties for the translations; Appendices B, C and D provide the proofs of translations of fork-join, asy...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملA Polyadic Modal -calculus a Polyadic Modal -calculus
The propositional-calculus of Kozen extends modal logic with xed points to achieve a powerful logic for expressing temporal properties of systems modelled by labelled transition systems. We further extend Kozen's logic with polyadic modalities to allow for expressing also quite naturally behavioural relations like bisimula-tion equivalence and simulation preorders. We show that the problem of m...
متن کاملHiiiiiiiihiiaiiaiiiik^^ a Media Selection Calculus a Media Selection Calculus
CONTENTS Abstract 1.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Humanistic Mathematics
سال: 2017
ISSN: 2159-8118
DOI: 10.5642/jhummath.201702.25